ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
131	Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008 Add to Reading List Source URL: cisr.nps.edu Language: English - Date: 2008-05-12 17:29:24 Software engineering Computing Programming language theory Type theory Variable Information flow ALGOL 68 Assignment Java
132	ACM Word Template for SIG Site Add to Reading List Source URL: www.hripioneers.info Language: English - Date: 2014-06-20 17:47:43 Helvetica Capitalization ALGOL 68 Association for Computing Machinery Univers Times New Roman Wizard of Oz experiment
133	Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team Add to Reading List Source URL: www.opengda.org Language: English - Date: 2012-11-12 13:00:08 Software engineering Computing Computer programming Concurrent programming languages Object-oriented programming languages C++ Cross-platform software Java ALGOL 68 C++ classes Foreach loop XOMGL
134	Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team Add to Reading List Source URL: www.opengda.org Language: English - Date: 2012-03-30 05:12:24 Software engineering Computing Computer programming Concurrent programming languages Object-oriented programming languages C++ Cross-platform software Java ALGOL 68 C++ classes Foreach loop XOMGL
135	Whiley: a Platform for Research in Software Verification David J. Pearce and Lindsay Groves School of Engineering and Computer Science Victoria University of Wellington Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2013-10-27 00:48:28 C Data types Whiley Struct Foreach loop C++ classes ALGOL 68 Union type Type system Typedef C Sharp syntax
136	Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2012-11-09 02:30:24 Type theory Data types Functional languages Object-oriented programming Type systems Subtyping Whiley OCaml ALGOL 68 Type conversion Const ML
137	A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:58 Software engineering Computing Computer programming Data types Type theory C++ Procedural programming languages ALGOL 68 Type system C++ classes Subtyping Const
138	The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Michael Pradel1 and Koushik Sen2 1 2 Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2015-05-04 01:53:59 Software engineering Computing Computer programming Data types Operator Subtyping ALGOL 68 Boolean data type JavaScript Primitive data type Null Relational operator
139	Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:36 Software engineering Programming language theory Computing C Struct ALGOL 68 BurrowsAbadiNeedham logic OK -calculus
140	PDF Document Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English C Data types Pointer Struct Const Typedef Mathematical optimization ALGOL 68 Constraint inference Constraint satisfaction

UPDATE